package FlowGraph.EdgeInfo;

import java.util.*;

//////////////////////////////////////////////////////////////////////////
//// SwitchEdge
/**

@author Ivan Jeukens
@version v 0.1 18/07/2002
*/
public class SwitchEdge extends EdgeInfo {

    public SwitchEdge(LinkedList conditions) {
        super(SWITCH);
        _conditions = conditions;
    }

    ///////////////////////////////////////////////////////////////////
    ////                        public methods                     ////

    public LinkedList getConditions() {
        return _conditions;
    }
    
    public int conditionsSize() {
        return _conditions.size();
    }
    
    public Iterator conditionsIterator() {
        return _conditions.iterator();
    }
    
    ///////////////////////////////////////////////////////////////////
    ////                      private variables                    ////

    private LinkedList _conditions;
}
